Словарь по логике - импликация
Связанные словари
Импликация
логическая связка, соответствующая грамматической конструкции "если ..., то ...", с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании различают антецедент (основание) высказывание, идущее после слова "если", и консеквент (следствие) высказывание, идущее за словом "то". Импликативное высказывание представляет в языке логики условное высказывание обычного языка. Последнее играет особую роль как в повседневных, так и в научных рассуждениях, основной его функцией является обоснование одного путем ссылки на нечто другое.
В современной логике имеется большое число И., различающихся своими формальными свойствами. Наиболее известны из них И. материальная, строгая И. и релевантная (уместная) И.
Материальная И. обозначается знаком М. Это одна из основных связок логики классической. Определяется она через функции истинности: И. ложна только в случае истинности антецедента и ложности консеквента и истинна во всех остальных случаях. Условное высказывание "Если А, то В" предполагает некоторую реальную связь между тем, о чем говорится в A и В; выражение А АВ такой связи не предполагает.
Строгая И. определяется через модальное понятие (логической) невозможности: "А строго имплицирует В" означает "Невозможно, чтобы А было истинно, а В ложно".
В релевантной логике И. понимается как условный союз в его обычном смысле. В случае релевантной И. нельзя сказать, что истинное высказывание может быть обосновано путем ссылки на любое высказывание и что с помощью ложного высказывания можно обосновать какое угодно высказывание.
См. в других словарях
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 1495 | |
2 | 1307 | |
3 | 1163 | |
4 | 1008 | |
5 | 765 | |
6 | 710 | |
7 | 681 | |
8 | 677 | |
9 | 654 | |
10 | 652 | |
11 | 613 | |
12 | 611 | |
13 | 572 | |
14 | 571 | |
15 | 560 | |
16 | 558 | |
17 | 553 | |
18 | 538 | |
19 | 535 | |
20 | 521 |